;;
compose mu (bimap id mu) = compose mu (bimap mu id)
